$\forall$$a$, $b$:GrpSig, $f$:($\mid$$a$$\mid\rightarrow\mid$$b$$\mid$). IsMonHom\{$a$,$b$\}($f$) $\in$ $\mathbb{P}$